Floyd判圈算法，又称龟兔赛跑算法，是一个可以在有限状态机、迭代函数或者链表上判断是否存在环，求出该环的起点与长度的算法。该算法据高德纳称由美国科学家罗伯特·弗洛伊德发明，但这一算法并没有出现在罗伯特·弗洛伊德公开发表的著作中。
在图论中，树是一种无向图，其中任意两个顶点间存在唯一一条路径。或者说，只要没有环的连通图就是树。森林是指互相不交并树的集合。树图广泛应用于计算机科学的数据结构中，比如二叉查找树，堆，Trie以及数据压缩中的霍夫曼编码等等。
环状线，也称环线、循环线等，是指起点与终点站相连的交通线路。一般路线呈现拉丁字母“O”或阿拉伯数字“0”等环形的形状即为环线，但也有很多名义上的环线，实际路线却不一定是几何意义上的环。
化学中化合物的环是其中原子和原子键形成的环状系统，可能只有一个环，也有可能有多个环。若环状系统中只有一个环，称为单环化合物，否则称为多环化合物。单环的Σ键和环的原子数相同，多环的σ键会比原子数要多。
函式呼叫图，属于控制流图，可以展示计算机程序中子程序之间的关系。每一个节点是一个函式，每一个边表示函式f呼叫函式g。若其中有出现互相呼叫的环，表示程式中可能有递归。
环状线，也称环线、循环线等，是指起点与终点站相连的交通线路。一般路线呈现拉丁字母“O”或阿拉伯数字“0”等环形的形状即为环线，但也有很多名义上的环线，实际路线却不一定是几何意义上的环。
在图论中，是一类特殊的图，又称为、偶图、双分图。二分图的顶点可以分成两个互斥的独立集 U 和 V 的图，使得所有边都是连结一个 U 中的点和一个 V 中的点。顶点集 U、V 被称为是图的两个部分。等价的，二分图可以被定义成图中所有的环都有偶数个顶点。
前馈神经网络，为人工智能领域中，最早发明的简单人工神经网络类型。在它内部，参数从输入层向输出层单向传播。有异于循环神经网络，它的内部不会构成环。
环状线，也称环线、循环线等，是指起点与终点站相连的交通线路。一般路线呈现拉丁字母“O”或阿拉伯数字“0”等环形的形状即为环线，但也有很多名义上的环线，实际路线却不一定是几何意义上的环。
在图论中，因子是某个图G的生成子图，并且是与G相同的顶点的子图。通常因子名称前面会加一个数，例如k-因子，表示每个顶点的度均为k，换句话说即该因子为k-正则生成子图。将某个图G的边分解为若干个互斥的k-因子之动作称为k-分解。类似于除法整除的概念，如果图G可以被k-分解，则G可以称为k-因子分解图，而图与因子间关系则可以类比为数与因数。特别地，将任意图1-分解为1-因子是一种完美匹配，因为其结果括了图G中原来的所有顶点；此外，若将一个k-正则图进行1-分解则与将该k-正则图进行k种颜色的边着色等价。2-因子则是包含图中的所有顶点之环的集合。
Mini wiki
